Holger Joost : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (79)
Les plus populaires
Liste
- Liste
- Tableau

Structural and functional response of the soil bacterial community to application of manure from difloxacin-treated pigs

Jechalke, Sven, Focks, Andreas, Rosendahl, Ingrid, Groeneweg, Joost, Siemens, Jan, Heuer, Holger, Smalla, Kornelia

Journal:

FEMS Microbiology Ecology

Année:

2014

Langue:

english

Fichier:

PDF, 638 KB

english, 2014

Monitoring detaching murals in the Convent of Müstair (Switzerland) by optical metrology

Klaus D. Hinsch, Konrad Zehnder, Holger Joost, Gerd Gülker

Journal:

Journal of Cultural Heritage

Année:

2009

Langue:

english

Fichier:

PDF, 874 KB

english, 2009

Abundance and transferability of antibiotic resistance as related to the fate of sulfadiazine in maize rhizosphere and bulk soil

Christoph Kopmann, Sven Jechalke, Ingrid Rosendahl, Joost Groeneweg, Ellen Krögerrecklenfort, Ute Zimmerling, Viola Weichelt, Jan Siemens, Wulf Amelung, Holger Heuer, Kornelia Smalla

Journal:

FEMS Microbiology Ecology

Année:

2012

Langue:

english

Fichier:

PDF, 256 KB

english, 2012

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Non-Markovian Analysis

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Année:

2001

Langue:

english

Fichier:

PDF, 496 KB

english, 2001

SPIE Proceedings [SPIE Third International Conference on Vibration Measurements by Laser Techniques: Advances and Applications - Ancona, Italy (Tuesday 16 June 1998)] Third International Conference on Vibration Measurements by Laser Techniques: Advances and Applications - Mural inspection by vibration measurements with TV-holography

Fricke-Begemann, Thomas, Guelker, Gerd, Hinsch, Klaus D., Joost, Holger, Tomasini, Enrico P.

Année:

1998

Langue:

english

Fichier:

PDF, 3.88 MB

english, 1998

SPIE Proceedings [SPIE Lasers in Metrology and Art Conservation - Munich, Germany (Monday 18 June 2001)] Laser Techniques and Systems in Art Conservation - Large-scale investigation of plaster detachments in historical murals by acoustic stimulation and video-holographic detection

Guelker, Gerd, Salimbeni, Renzo, Hinsch, Klaus D., Joost, Holger

Année:

2001

Langue:

english

Fichier:

PDF, 1.26 MB

english, 2001

Reactive Imprint Lithography: Combined Topographical Patterning and Chemical Surface Functionalization of Polystyrene-block-poly(tert-butyl acrylate) Films

Joost Duvigneau, Stijn Cornelissen, Núria Bardají Valls, Holger Schönherr, G. Julius Vancso

Journal:

Advanced Functional Materials

Année:

2010

Langue:

english

Fichier:

PDF, 593 KB

english, 2010

Leise rieselt der Putz

Klaus Hinsch, Holger Joost

Journal:

forschung

Année:

2007

Langue:

german

Fichier:

PDF, 478 KB

german, 2007

Faintly Falling Plaster

Klaus Hinsch, Holger Joost

Journal:

German Research

Année:

2007

Langue:

english

Fichier:

PDF, 175 KB

english, 2007

The ins and outs of the probabilistic model checker MRMC

Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen

Journal:

Performance Evaluation

Année:

2011

Langue:

english

Fichier:

PDF, 669 KB

english, 2011

Bisimulation and Simulation Relations for Markov Chains

Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 190 KB

english, 2006

Sound field monitoring by tomographic electronic speckle pattern interferometry

Holger Joost, Klaus D. Hinsch

Journal:

Optics Communications

Année:

2006

Langue:

english

Fichier:

PDF, 539 KB

english, 2006

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 227 KB

english, 2005

Mural inspection by vibration measurements with TV-holography

Thomas Fricke-Begemann, Gerd Gülker, Klaus D Hinsch, Holger Joost

Journal:

Optics and Lasers in Engineering

Année:

2000

Langue:

english

Fichier:

PDF, 1.56 MB

english, 2000

Automated compositional Markov chain generation for a plain-old telephone system

Holger Hermanns, Joost-Pieter Katoen

Journal:

Science of Computer Programming

Année:

2000

Langue:

english

Fichier:

PDF, 340 KB

english, 2000

Process algebra for performance evaluation

Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen

Journal:

Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 412 KB

english, 2002

On Generative Parallel Composition

Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1999

Langue:

english

Fichier:

PDF, 1.51 MB

english, 1999

The glucose transport facilitator GLUT8 is predominantly associated with the acrosomal region of mature spermatozoa

Annette Schürmann, Hubertus Axer, Andrea Scheepers, Holger Doege, Hans-Georg Joost

Journal:

Cell and Tissue Research

Année:

2002

Langue:

english

Fichier:

PDF, 230 KB

english, 2002

A tool for model-checking Markov chains

Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2003

Langue:

english

Fichier:

PDF, 470 KB

english, 2003

Performability assessment by model checking of Markov reward models

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen

Journal:

Formal Methods in System Design

Année:

2010

Langue:

english

Fichier:

PDF, 895 KB

english, 2010

YMCA: —Why Markov Chain Algebra?—

Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 170 KB

english, 2006

Probabilistic weak simulation is decidable in polynomial time

Christel Baier, Holger Hermanns, Joost-Pieter Katoen

Journal:

Information Processing Letters

Année:

2004

Langue:

english

Fichier:

PDF, 232 KB

english, 2004

Pleiotropy of leptin receptor signalling is defined by distinct roles of the intracellular tyrosines

Paul Hekerman, Julia Zeidler, Simone Bamberg-Lemper, Holger Knobelspies, Delphine Lavens, Jan Tavernier, Hans-Georg Joost, Walter Becker

Journal:

FEBS Journal

Année:

2005

Langue:

english

Fichier:

PDF, 309 KB

english, 2005

Structure of the cyclic-AMP-responsive exchange factor Epac2 in its auto-inhibited state

Rehmann, Holger, Das, Joost, Knipscheer, Puck, Wittinghofer, Alfred, Bos, Johannes L.

Journal:

Nature

Année:

2006

Langue:

english

Fichier:

PDF, 363 KB

english, 2006

Performance evaluation and model checking join forces

Baier, Christel, Haverkort, Boudewijn R., Hermanns, Holger, Katoen, Joost-Pieter

Journal:

Communications of the ACM

Année:

2010

Langue:

english

Fichier:

PDF, 1.84 MB

english, 2010

Comparative branching-time semantics for Markov chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf

Journal:

Information and Computation

Année:

2005

Langue:

english

Fichier:

PDF, 1.43 MB

english, 2005

Structural Insight into the Recognition of the H3K4me3 Mark by the TFIID Subunit TAF3

Hugo van Ingen, Frederik M.A. van Schaik, Hans Wienk, Joost Ballering, Holger Rehmann, Annemarie C. Dechesne, John A.W. Kruijzer, Rob M.J. Liskamp, H.Th. Marc Timmers, Rolf Boelens

Journal:

Structure

Année:

2008

Langue:

english

Fichier:

PDF, 1.79 MB

english, 2008

Guest editors’ introduction: Model checking in a nutshell

Holger Hermanns, Joost-Pieter Katoen

Journal:

The Journal of Logic and Algebraic Programming

Année:

2002

Langue:

english

Fichier:

PDF, 65 KB

english, 2002

Meeting report: 8th Leukocyte Culture Conference

Joost J. Oppenheim, Holger Kirchner

Journal:

Cellular Immunology

Année:

1974

Langue:

english

Fichier:

PDF, 240 KB

english, 1974

A comparative analysis of the aggregation behavior of amyloid-β peptide variants

Annelies Vandersteen, Ellen Hubin, Rabia Sarroukh, Greet De Baets, Joost Schymkowitz, Frederic Rousseau, Vinod Subramaniam, Vincent Raussens, Holger Wenschuh, Dirk Wildemann, Kerensa Broersen

Journal:

FEBS Letters

Année:

2012

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2012

[IEEE 2012 13th International Conference on Optimization of Electrical and Electronic Equipment (OPTIM) - Brasov, Romania (2012.05.24-2012.05.26)] 2012 13th International Conference on Optimization of Electrical and Electronic Equipment (OPTIM) - Optimized torque control of wind turbines with doubly fed induction generator

Mehler, Christian, Joost, Matthias, Groke, Holger, Orlik, Bernd

Année:

2012

Langue:

english

Fichier:

PDF, 574 KB

english, 2012

In vitro penetration of des-tyrosine1-D-phenylalanine3-β-casomorphin across the blood-brain barrier

Holger Stark, Joost B.M.M. Van Bree, Albertus G. De Boer, Ulrich Jaehde, Douwe D. Breimer

Journal:

Peptides

Année:

1992

Langue:

english

Fichier:

PDF, 425 KB

english, 1992

Nomenclature of the GLUT/SLC2A family of sugar/polyol transport facilitators

Joost, Hans-Georg, Bell, Graeme I., Best, James D., Birnbaum, Morris J., Charron, Maureen J., Chen, Y. T., Doege, Holger, James, David E., Lodish, Harvey F., Moley, Kelle H., Moley, Jeffrey F., Mueckl

Journal:

AJP Endocrinology and Metabolism

Année:

2002

Langue:

english

Fichier:

PDF, 76 KB

english, 2002

Insight into Fundamental, Overtone, and Combination IR Bands of Surface and Bulk Ba(NO 3 ) 2 by Ab Initio Molecular Dynamics

Hesske, Holger, Urakawa, Atsushi, VandeVondele, Joost, Baiker, Alfons

Journal:

The Journal of Physical Chemistry C

Année:

2010

Langue:

english

Fichier:

PDF, 2.32 MB

english, 2010

[Lecture Notes in Computer Science] Validation of Stochastic Systems Volume 2925 || On Probabilistic Computation Tree Logic

Baier, Christel, Haverkort, Boudewijn R., Hermanns, Holger, Katoen, Joost-Pieter, Siegle, Markus

Année:

2004

Langue:

english

Fichier:

PDF, 511 KB

english, 2004

[Lecture Notes in Computer Science] Validation of Stochastic Systems Volume 2925 ||

Baier, Christel, Haverkort, Boudewijn R., Hermanns, Holger, Katoen, Joost-Pieter, Siegle, Markus

Année:

2004

Langue:

english

Fichier:

PDF, 3.56 MB

english, 2004

A compositional modelling and analysis framework for stochastic hybrid systems

Hahn, Ernst Moritz, Hartmanns, Arnd, Hermanns, Holger, Katoen, Joost-Pieter

Journal:

Formal Methods in System Design

Année:

2013

Langue:

english

Fichier:

PDF, 1.75 MB

english, 2013

Discovery and validation of urinary biomarkers for detection of renal cell carcinoma

Frantzi, Maria, Metzger, Jochen, Banks, Rosamonde E., Husi, Holger, Klein, Julie, Dakna, Mohammed, Mullen, William, Cartledge, Jonathan J., Schanstra, Joost P., Brand, Korbinian, Kuczyk, Markus A., Mi

Journal:

Journal of Proteomics

Année:

2014

Langue:

english

Fichier:

PDF, 699 KB

english, 2014

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Introduction to Stochastic Petri Nets

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Année:

2001

Langue:

english

Fichier:

PDF, 736 KB

english, 2001

Atomic Force Microscopy Based Thermal Lithography of Poly( tert -butyl acrylate) Block Copolymer Films for Bioconjugation

Duvigneau, Joost, Schönherr, Holger, Vancso, G. Julius

Journal:

Langmuir

Année:

2008

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2008

Scanning Thermal Lithography of Tailored tert -Butyl Ester Protected Carboxylic Acid Functionalized (Meth)acrylate Polymer Platforms

Duvigneau, Joost, Schönherr, Holger, Vancso, G. Julius

Journal:

ACS Applied Materials & Interfaces

Année:

2011

Langue:

english

Fichier:

PDF, 3.83 MB

english, 2011

Nanoscale Thermal AFM of Polymers: Transient Heat Flow Effects

Duvigneau, Joost, Schönherr, Holger, Vancso, G. Julius

Journal:

ACS Nano

Année:

2010

Langue:

english

Fichier:

PDF, 4.61 MB

english, 2010

Role of Conserved Arginine and Glutamate Residues on the Cytosolic Surface of Glucose Transporters for Transporter Function †

Schürmann, Annette, Doege, Holger, Ohnimus, Hartmut, Monser, Volker, Buchs, Andreas, Joost, Hans-Georg

Journal:

Biochemistry

Année:

1997

Langue:

english

Fichier:

PDF, 128 KB

english, 1997

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - The Ins and Outs of the Probabilistic Model Checker MRMC

Katoen, Joost-Pieter, Zapree, Ivan S., Hahn, Ernst Moritz, Hermanns, Holger, Jansen, David N.

Année:

2009

Langue:

english

Fichier:

PDF, 362 KB

english, 2009

Classical MALDI-MS versus CE-based ESI-MS proteomic profiling in urine for clinical applications

Albalat, Amaya, Husi, Holger, Stalmach, Angelique, Schanstra, Joost P, Mischak, Harald

Journal:

Bioanalysis

Année:

2014

Langue:

english

Fichier:

PDF, 1.47 MB

english, 2014

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Stochastic Activity Networks: Formal Definitions and Concepts⋆

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Année:

2001

Langue:

english

Fichier:

PDF, 346 KB

english, 2001

Scanning Thermal Lithography as a Tool for Highly Localized Nanoscale Chemical Surface Functionalization

Duvigneau, Joost, Schönherr, Holger, Vancso, G. Julius

Journal:

MRS Proceedings

Année:

2011

Langue:

english

Fichier:

PDF, 328 KB

english, 2011

Pleiotropy of leptin receptor signalling is defined by distinct roles of the intracellular tyrosines

Hekerman, Paul, Zeidler, Julia, Bamberg-Lemper, Simone, Knobelspies, Holger, Lavens, Delphine, Tavernier, Jan, Joost, Hans-Georg, Becker, Walter

Journal:

FEBS Journal

Année:

2005

Langue:

english

Fichier:

PDF, 312 KB

english, 2005

New insights in molecular mechanisms involved in chronic kidney disease using high-resolution plasma proteome analysis

Glorieux, Griet, Mullen, William, Duranton, Flore, Filip, Szymon, Gayrard, Nathalie, Husi, Holger, Schepers, Eva, Neirynck, Nathalie, Schanstra, Joost P., Jankowski, Joachim, Mischak, Harald, Argilés,

Journal:

Nephrology Dialysis Transplantation

Année:

2015

Langue:

english

Fichier:

PDF, 698 KB

english, 2015

[Lecture Notes in Computer Science] Validation of Stochastic Systems Volume 2925 || Probabilistic Automata: System Types, Parallel Composition and Comparison

Baier, Christel, Haverkort, Boudewijn R., Hermanns, Holger, Katoen, Joost-Pieter, Siegle, Markus

Année:

2004

Langue:

english

Fichier:

PDF, 426 KB

english, 2004